<?php

interface State
{
    function writeProgram(Work $work);
}